class Base

end

class Derived
inherit
     Base
end

class Base2
end

class APP
feature
    INIT
    local
          a : Base; b : Derived; c : Base2
    do
        a:=b;
        b:=c;
    end
end